[[$I$$\mid$$i$]] $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}triggers(${\it es}$;$i$;ma{-}interface{-}ds($I$;$i$);$I$($i$).2)